tense logic
[tens ˈlɔdʒik]
un. 时态逻辑 [网络] 时态邏辑
un. 时态逻辑 [网络] 时态邏辑
热门查询
- marketing n. 行销，销售 v. 出售；在市场上进行交易；使…上市（market的ing形式）
- adversity n. 逆境；不幸；灾难；灾祸
- Weimar 魏玛
- queensberry 昆斯伯里（姓氏）
- cutlet n. 肉片；炸肉排；炸肉片
- CGI abbr. [计] 公共网关接口（Common Gateway Interface）；电脑图像界面（Computer Graphics Interface）
- Tamara n. 塔马蕾调味品
- Carlile [人名] [英格兰人姓氏] 卡莱尔 Carlisle的变体; [地名] [美国] 卡莱尔
- sagacious adj. 睿智的，聪慧的；有远见的，聪慧的
- hollow n. 洞；山谷；窟窿 adj. 空的；中空的，空腹的；凹的；虚伪的 vt. 使成为空洞 adv. 彻底地；无用地 vi. 形成空洞 n. (Hollow)人名；(英)霍洛
- ineluctably adv. 不可避免地；必然地
- utmost n. 极限；最大可能 adj. 极度的；最远的
- Purdy [人名] [英格兰人姓氏] 珀迪绰号，常说盎格鲁诺曼底法语咒语pur die的人，来源于古法语，含义是“的的确确”(by God); [地名] [美国] 珀迪
- MSS abbr. 多光谱扫描器；手稿（manuscript）
- cornet n. 短号；圆锥形纸袋 n. (Cornet)人名；(法、罗)科尔内
- needed adj. 需要的 v. 需要（need的过去式）
- rendezvous n. 约会；约会地点；集结地 vi. 会合；约会 vt. 在指定地点与…相会
- Stevenage n. 斯蒂夫尼奇（英国东南赫特福德郡北部城镇）
- unstrap vt. 解开皮带
- resourced adj. 实力雄厚的；钱财充足的；设施优良的
